لطفا برای مشاهده چکیده به متن کامل (pdf) مراجعه فرمایید.

بازیابی قانونی کلید یکی از نقاط ضعف اساسی سیستمهای رمزنگاری مبتنی بر شناسه می باشد. برای حل این مشکل سیستمهای رمزنگاری کلید عمومی بدون گواهی ارایه شد. ما در این مقاله یک طرح توافق کلید چندتایی از نوع کلید عمومی بدون گواهی ارایه می دهیم که دارای ویژگیهای امنیتی مهم مانند امنیت پیشرو کامل، امنیت قوی و اثبات با اطلاع صفر می باشد. تعداد کلیدهای مخفی مشترک که درهر نشست توسط این طرح تولید می شوند نسبت به بسیاری از طرحهای موجود بیشتر می باشد. در این مقاله امنیت و کارائی طرح خود را با چندین طرح معروف مقایسه می کنیم.

پروتکلهای توافق کلید چندتایی در هر بار اجرا، ساخت چند کلید مشترک را برای کاربران امکان پذیر می کنند ایده اولیه این پروتکلها بر اساس استفاده از امضای بدون تابع درهمساز برای تایید هویت هر کاربر استوار است. به همین دلیل (یعنی عدم استفاده از تابع درهمساز) بیشتر طرحهای ارائه شده دراین زمینه از امنیت لازم برخوردار نیستند ما دراین مقاله مروری جامع بر این پروتکلها خواهیم داشت و بر روی برخی از آنها حملاتی ارائه می کنیم. سپس برای بهبود امنیت طرحهای موجود یک پروتکل پیشنهادی ارائه می دهیم و نشان خواهیم داد که این پروتکل از نظر امنیتی بهتر از همه طرحهای مورد ارزیابی است.

روشهای صوری و فنون درستی یابی، از ابزارهای تحلیل سیستم ها هستند هدف این مقاله ارائه روشی برای درستی یابی و تحلیل پروتکلهای امنیتی است. ویژگی اصلی روش ارائه شده دراین مقاله بهره گیری از فنون بررسی مدل احتمال برای تحلیل پروتکلهای امنیتی است. با استفاده از فنون بررسی مدل احتمالی، پروتکلهای امنیتی را می توان به صورت کمی مورد بررسی قرار داد. مزیت بسیار مهم درستی یابی کمی پروتکل قابلیت بررسی دقیق یک پروتکل در برابر مهاجمین مختلف و همچنین امکان مقایسه چندین پروتکل با یکدیگر در مقابل مهاجمین مختلف است. در این مقاله برای بررسی مدل از ابزار PRISM که توانایی بررسی مدل احتمالی را دارد استفاده شده است. در این روش ابتدا ویژگی ها و مشخصات عامل های پروتکل و مهاجمین با استفاده از زبان پروتکل های امنیتی بیان شده و مشخصات هر عامل با استفاده از زبان ابزار PRISM مدل می شود و سپس بررسی احتمالی مدل انجام شده و احتمال مدل انجام شده و احتمال وجود رخنه در پروتکل مورد بررسی قرار می گیرد. به عنوان مطالعه موردی، پروتکلهای نیدهام- شرودر و TMN با استفاده از روش پیشنهادی مدلسازی و تحلیل کمی شده که نتایج حاصله در مقاله ارائه شده است.

زوج سازی دو خطی یک نگاشت است که اخیرا در طراحی پروتکلهای رمزنگاری مورد توجه قرار گرفته است. ویژگی دوخطی این نگاشت سبب جذاب شدن آن شده است. ما در این مقاله قصد داریم از این نگاشت در طراحی یک پروتکل توافق کلید چندتایی جدید استفاده کنیم قبل از ارائه این طرح پیشنهادی، ابتدا یک پروتکل توافق کلید چندتایی را که از زوج سازی بهره گرفته است مورد بررسی قرار داده و یک حمله پیشنهادی به آن ارائه می دهیم. سپس یک پروتکل پیشنهادی ارائه داده و نشان خواهیم داد که از لحاظ امنیتی و محاسباتی بهینه تر از طرح بررسی شده است.

لطفا برای مشاهده چکیده به متن کامل (PDF) مراجعه فرمایید.

لطفا برای مشاهده چکیده به متن کامل (PDF) مراجعه فرمایید.